1. Foundations of deductive databases and logic programming
پدیدآورنده : contributors, Krzysztof R. Apt ... ]et al.[ ; edited by Jack Minker
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Deductive data bases , Logic programming
رده :
QA
76
.
9
.
D32
F68
1988
2. From Logic Programming to Prolog
پدیدآورنده : Apt, Krzysztof.R, Krzysztof R. Apt
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Lagic Programming,، Prolog ) Computer Program Language (
رده :
QA
76/63
/A67
3. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming,، Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1996
4. From logic programming to Prolog
پدیدآورنده : Krzysztof R. Apt
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
5. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
6. Lectures in game theory for computer scientists /
پدیدآورنده : edited by Krzysztof R. Apt and Erich Grädel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Game theory.
7. Logics and Models of Concurrent Systems.
پدیدآورنده : Krzysztof R Apt
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
8. New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1865
9. Principles of constraint programming
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Constraint programming )Computer science(
رده :
QA
76
.
612
.
A68
2003
10. Principles of constraint programming
پدیدآورنده : / Krzysztof R. Apt
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Constraint programming (Computer science)
رده :
QA76
.
612
.
A68
2003
11. Programmverifikation :
پدیدآورنده : Krzysztof R. Apt, Ernst-Rüdiger Olderog.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Oprogramowanie -- weryfikacja.
رده :
QA76
.
9
.
A73
K799
1994
12. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
13. Verification of Sequential and Concurrent Programs
پدیدآورنده : by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.
رده :
QA76
.
76
.
V47
B957
1997
14. Verification of sequential and concurrent programs
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Verification
رده :
QA
76
.
76
.
V47
.
A67
1997
15. Verification of sequential and concurrent programs
پدیدآورنده : Apt, Krzysztof R., 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer software -- Verification
رده :
QA
76
.
76
.
V47A75
16. Verification of sequential and concurrent programs
پدیدآورنده : / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Computer software, Verification
رده :
QA76
.
76
.
V47A67
